Что такое const assertions в generic-функциях TypeScript?

Что такое const assertion

as const — это специальная форма type assertion, которая говорит компилятору: «выведи для этого значения самый узкий из возможных типов и сделай его неизменяемым». Без неё TypeScript расширяет (widening) типы литералов до базовых, потому что по умолчанию предполагает, что значение переменной может измениться.

let a = "admin";        // тип: string
let b = "admin" as const; // тип: "admin"

const obj = { role: "admin" };        // { role: string }
const obj2 = { role: "admin" } as const; // { readonly role: "admin" }

const arr = [1, 2, 3];        // number[]
const arr2 = [1, 2, 3] as const; // readonly [1, 2, 3]

Почему widening мешает в generic функциях

Generic-функция выводит тип параметра T на основе переданного аргумента. Если аргумент — литерал без as const, TypeScript расширит его тип ещё до вывода T, и вся точность потеряется.

function identity<T>(value: T): T {
  return value;
}

const r1 = identity("admin");      // T = string
const r2 = identity("admin" as const); // T = "admin"

Это особенно важно для функций, которые строят кортежи, объекты-конфиги или API с точными строковыми литералами (например, роутинг, экшены редьюсера, enum-подобные строки).

Практический пример: сохранение кортежа

function tuple<T extends readonly unknown[]>(...items: T): T {
  return items;
}

const withoutConst = tuple(1, "a", true);
// T = (string | number | boolean)[] без as const

function tupleConst<const T extends readonly unknown[]>(...items: T): T {
  return items;
}

const withConst = tupleConst(1, "a", true);
// T = readonly [1, "a", true] — точные литералы и readonly

В TypeScript 5.0 появилась модификатор const прямо у type parameter (<const T>), который автоматически применяет поведение as const ко всем аргументам, выведенным в этот параметр, — не нужно расставлять as const на каждом вызове вручную.

Зачем это нужно на практике

• Литеральные union-типы вместо string — точные автокомплиты и защита от опечаток.
• readonly массивы и объекты — компилятор не даст случайно мутировать конфиг.
• Точный вывод кортежей вместо массивов произвольной длины — полезно для builder-функций, роутеров, схем валидации.
• Совместим с satisfies, который часто используют вместе с as const, чтобы проверить форму объекта, не теряя литеральные типы.

Ограничения

• as const — это только компиляторная подсказка, на рантайм она не влияет.
• Делает объект/массив readonly на уровне типов — попытка мутации будет ошибкой компиляции, но не рантайма.
• <const T> у generic-параметра работает начиная с TypeScript 5.0.
• Не решает проблему widening для let-переменных внутри функции — эффект действует только в точке, где применена ассерция.